CABALAR, PEDRO: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Forgetting auxiliary atoms in forks

Aguado, Felicidad, Cabalar, Pedro, Fandinno, Jorge, Pearce, David, Pérez, Gilberto, Vidal, Concepción

Journal:

Artificial Intelligence

Year:

2019

Language:

english

File:

PDF, 719 KB

english, 2019

2

Temporal Equilibrium Logic with past operators

Aguado, Felicidad, Cabalar, Pedro, Diéguez, Martín, Pérez, Gilberto, Vidal, Concepción

Journal:

Journal of Applied Non-Classical Logics

Year:

2017

Language:

english

File:

PDF, 1.52 MB

english, 2017

3

Enablers and inhibitors in causal justifications of logic programs

CABALAR, PEDRO, FANDINNO, JORGE

Journal:

Theory and Practice of Logic Programming

Year:

2017

Language:

english

File:

PDF, 308 KB

english, 2017

4

Autoepistemic answer set programming

Cabalar, Pedro, Fandinno, Jorge, FariÃ±as del Cerro, Luis

Journal:

Artificial Intelligence

Year:

2020

File:

PDF, 564 KB

2020

5

Temporal equilibrium logic: a survey

Aguado, Felicidad, Cabalar, Pedro, Diéguez, Martín, Pérez, Gilberto, Vidal, Concepción

Journal:

Journal of Applied Non-Classical Logics

Year:

2013

Language:

english

File:

PDF, 638 KB

english, 2013

6

Equilibrium graphs

Cabalar, Pedro, Pérez, Carlos, Pérez, Gilberto

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2019

Language:

english

File:

PDF, 1.09 MB

english, 2019

7

Stable reasoning

Cabalar, Pedro, Pearce, David, Valverde, Agustín

Journal:

Journal of Applied Non-Classical Logics

Year:

2017

Language:

english

File:

PDF, 1.89 MB

english, 2017

8

Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates

CABALAR, PEDRO, FANDINNO, JORGE, FARIÑAS DEL CERRO, LUIS, PEARCE, DAVID

Journal:

Theory and Practice of Logic Programming

Year:

2018

Language:

english

File:

PDF, 267 KB

english, 2018

9

Temporal logic programs with variables

AGUADO, FELICIDAD, CABALAR, PEDRO, PÉREZ, GILBERTO, VIDAL, CONCEPCIÓN, DIÉGUEZ, MARTÍN

Journal:

Theory and Practice of Logic Programming

Year:

2017

Language:

english

File:

PDF, 290 KB

english, 2017

10

Framing holes within a loop hierarchy

Santos, Paulo E., Cabalar, Pedro

Journal:

Spatial Cognition and Computation

Year:

2016

Language:

english

File:

PDF, 4.50 MB

english, 2016

11

Temporal Answer Set Programming on Finite Traces

CABALAR, PEDRO, KAMINSKI, ROLAND, SCHAUB, TORSTEN, SCHUHMANN, ANNA

Journal:

Theory and Practice of Logic Programming

Year:

2018

Language:

english

File:

PDF, 238 KB

english, 2018

12

Answer Set Programming from a Logical Point of View

Cabalar, Pedro, Pearce, David, Valverde, Agustín

Journal:

KI - Künstliche Intelligenz

Year:

2018

Language:

english

File:

PDF, 2.06 MB

english, 2018

13

Gelfond–Zhang aggregates as propositional formulas

Cabalar, Pedro, Fandinno, Jorge, Schaub, Torsten, Schellhorn, Sebastian

Journal:

Artificial Intelligence

Year:

2019

Language:

english

File:

PDF, 463 KB

english, 2019

14

Revisiting Explicit Negation in Answer Set Programming

AGUADO, FELICIDAD, CABALAR, PEDRO, FANDINNO, JORGE, PEARCE, DAVID, PÉREZ, GILBERTO, VIDAL, CONCEPCIÓN

Journal:

Theory and Practice of Logic Programming

Year:

2019

Language:

english

File:

PDF, 268 KB

english, 2019

15

A qualitative spatial representation of string loops as holes

Cabalar, Pedro, Santos, Paulo E.

Journal:

Artificial Intelligence

Year:

2016

Language:

english

File:

PDF, 872 KB

english, 2016

16

Formalising the Fisherman's Folly puzzle

Pedro Cabalar, Paulo E. Santos

Journal:

Artificial Intelligence

Year:

2011

Language:

english

File:

PDF, 860 KB

english, 2011

17

Multi-context systems in dynamic environments

Cabalar, Pedro, Costantini, Stefania, De Gasperis, Giovanni, Formisano, Andrea

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2019

Language:

english

File:

PDF, 1.06 MB

english, 2019

18

Splitting Epistemic Logic Programs

CABALAR, PEDRO, FANDINNO, JORGE, FARIÃAS DEL CERRO, LUIS

Journal:

Theory and Practice of Logic Programming

Year:

2020

File:

PDF, 332 KB

2020

19

M3DISEEN: A Novel Machine Learning Approach for Predicting the 3D Printability of Medicines

Elbadawi, Moe, MuÃ±iz Castro, Brais, Gavins, Francesca K.H., Jie Ong, Jun, Gaisford, Simon, PÃ©rez, Gilberto, Basit, Abdul W., Cabalar, Pedro, Goyanes, Ãlvaro

Journal:

International Journal of Pharmaceutics

Year:

2020

File:

PDF, 2.40 MB

2020

20

Justifications for programs with disjunctive and causal-choice rules

CABALAR, PEDRO, FANDINNO, JORGE

Journal:

Theory and Practice of Logic Programming

Year:

2016

Language:

english

File:

PDF, 352 KB

english, 2016

21

A short biography of Luis Fariñas del Cerro

Cabalar, Pedro, Diéguez, Martín, Herzig, Andreas, Pearce, David

Journal:

Journal of Applied Non-Classical Logics

Year:

2017

Language:

english

File:

PDF, 971 KB

english, 2017

22

The knowledge of knots: an interdisciplinary literature review

Santos, Paulo E., Cabalar, Pedro, Casati, Roberto

Journal:

Spatial Cognition and Computation

Year:

2019

File:

PDF, 2.43 MB

2019

23

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 8148 || Matchmaking with Answer Set Programming

Cabalar, Pedro, Son, Tran Cao

Year:

2013

Language:

english

File:

PDF, 179 KB

english, 2013

24

An infinitary encoding of temporal equilibrium logic

CABALAR, PEDRO, DIÉGUEZ, MARTÍN, VIDAL, CONCEPCIÓN

Journal:

Theory and Practice of Logic Programming

Year:

2015

Language:

english

File:

PDF, 193 KB

english, 2015

25

aspBEEF: Explaining Predictions Through Optimal Clustering

Cabalar, Pedro, MartÃn, Rodrigo, MuÃ±iz, Brais, PÃ©rez, Gilberto

Journal:

Proceedings (American Bar Association. Section of International and Comparative Law)

Year:

2020

File:

PDF, 186 KB

2020

26

Foreword

Cabalar, Pedro, Valverde, Agustín

Journal:

Journal of Applied Non-Classical Logics

Year:

2013

Language:

english

File:

PDF, 71 KB

english, 2013

27

Causal Graph Justifications of Logic Programs

CABALAR, PEDRO, FANDINNO, JORGE, FINK, MICHAEL

Journal:

Theory and Practice of Logic Programming

Year:

2014

Language:

english

File:

PDF, 152 KB

english, 2014

28

The knowledge of knots: an interdisciplinary literature review

Santos, Paulo E., Cabalar, Pedro, Casati, Roberto

Journal:

Spatial Cognition and Computation

Year:

2019

Language:

english

File:

PDF, 2.43 MB

english, 2019

29

Minish HAT: A Tool for the Minimization of Here-and-There Logic Programs and Theories in Answer Set Programming

Martin, Rodrigo, Cabalar, Pedro

Journal:

Proceedings (American Bar Association. Section of International and Comparative Law)

Year:

2019

Language:

english

File:

PDF, 179 KB

english, 2019

30

The Space within Fisherman's Folly: Playing with a Puzzle in Mereotopology

Santos, Paulo E., Cabalar, Pedro

Journal:

Spatial Cognition and Computation

Year:

2008

Language:

english

File:

PDF, 393 KB

english, 2008

31

eclingo : A Solver for Epistemic Logic Programs

Cabalar, Pedro, Fandinno, Jorge, Garea, Javier, Romero, Javier, Schaub, Torsten

Journal:

Theory and Practice of Logic Programming

Year:

2020

File:

PDF, 533 KB

2020

32

Functional answer set programming

Journal:

Theory and Practice of Logic Programming

Year:

2011

Language:

english

File:

PDF, 248 KB

english, 2011

33

Modular Answer Set Programming as a Formal Specification Language

CABALAR, PEDRO, FANDINNO, JORGE, LIERLER, YULIYA

Journal:

Theory and Practice of Logic Programming

Year:

2020

File:

PDF, 583 KB

2020

34

Towards Metric Temporal Answer Set Programming

CABALAR, PEDRO, DIÃGUEZ, MARTÃN, SCHAUB, TORSTEN, SCHUHMANN, ANNA

Journal:

Theory and Practice of Logic Programming

Year:

2020

File:

PDF, 628 KB

2020

35

Partial equilibrium logic

Pedro Cabalar, Sergei Odintsov, David Pearce, Agustín Valverde

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2007

Language:

english

File:

PDF, 775 KB

english, 2007

36

A denotational semantics for equilibrium logic

AGUADO, FELICIDAD, CABALAR, PEDRO, PEARCE, DAVID, PÉREZ, GILBERTO, VIDAL, CONCEPCIÓN

Journal:

Theory and Practice of Logic Programming

Year:

2015

Language:

english

File:

PDF, 142 KB

english, 2015

37

Propositional theories are strongly equivalent to logic programs

CABALAR, PEDRO, FERRARIS, PAOLO

Journal:

Theory and Practice of Logic Programming

Year:

2007

Language:

english

File:

PDF, 130 KB

english, 2007

38

[IEEE 2018 7th Brazilian Conference on Intelligent Systems (BRACIS) - Sao Paulo, Brazil (2018.10.22-2018.10.25)] 2018 7th Brazilian Conference on Intelligent Systems (BRACIS) - Solving a Spatial Puzzle Using Answer Set Programming Integrated with Markov Decision Process

Freitas dos Santos, Thiago, Santos, Paulo, Ferreira, Leonardo, Bianchi, Reinaldo, Cabalar, Pedro

Year:

2018

Language:

english

File:

PDF, 505 KB

english, 2018

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски